Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
101	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
102	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
103	Microsoft PowerPoint - 7thICCC TL-LETI propal4.ppt Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 12:04:31 Formal verification Computer science Formal specification Software development process Validation Formal methods Applied mathematics Science
104	CA Gen Change Management Introduction Reduced software product life cycles and increasingly diverse requirements are leading companies to review and improve their software development processes. These processes and supp Add to Reading List Source URL: www.iet.co.uk Language: English - Date: 2008-01-28 10:00:38 Configuration management Software configuration management Software development process ECO Change management Information Engineering Facility Application Interface Specification Software Information technology management Formal methods
105	Specification and Verification of Event Detectors and Responses Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-10-28 08:11:48 Logic in computer science Aspect-oriented programming Formal verification Model checking Grammatical aspect E Formal specification Abstraction Software development Formal methods Aspect-oriented software development
106	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
107	Formal Specification— Z Notation— Syntax, Type and Semantics Consensus Working Draft 2.6 August 24, 2000 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2000-11-02 18:08:54 Software engineering Compiler construction Extended Backus–Naur Form Mathematical notation Universal Character Set Z notation SQL Metalanguage International Organization for Standardization Computing Notation Standards organizations
108	UKTC Product Development Lifecycle Template – Draft for Trial Use The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Commit Add to Reading List Source URL: systems.hscic.gov.uk Language: English Technology Science Quality assurance Specification Software development process Quality Evaluation Standards
109	UKTC Product Development Lifecycle Template – Supported Product The purpose of this document is to provide a formal template that can guide the developer in the type of information required by the UKTC Edition Committe Add to Reading List Source URL: systems.hscic.gov.uk Language: English Quality assurance Science Management Specification Software development process Quality Standards Evaluation
110	AN ECLECTIC COMPREHENSIVE APPROACH TO THE V&V OF SOFTWARE MODULES Ali Mili, NJIT NII, Tokyo, Japan January 13, 2012 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Computing Technology Modularity Product management Programming language Object-oriented programming Software design Specification Formal specification Holism Programming paradigms Formal methods

UPDATE